The AMASS approach for assurance and certification of critical systems

Safety-critical systems are subject to rigorous assurance and certification processes to guarantee that they do not pose unreasonable risks to people, property, or the environment. The associated activities are usually complex and time-consuming, thus they need adequate support for their execution. The activities are further becoming more challenging as the systems are evolving towards open, interconnected systems with new features, e.g. Internet connectivity, and new assurance needs, e.g. compliance with several assurance standards for different dependability attributes. This requires the development of novel approaches for cost-effective assurance and certification. With the overall goal of lowering assurance and certification costs in face of rapidly changing features and market needs, the AMASS project has created and consolidated the de-facto European-wide open solution for assurance and certification of critical systems. This has been achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance, multi-concern assurance, and for seamless interoperability between assurance and engineering activities along with third-party activities. This paper introduces the main elements of the AMASS approach and how to use them and benefit from them.The work leading to this paper has received funding from the AMASS project (H2020-ECSEL grant agreement no 692474; Spain’s MINECO ref. PCIN-2015-262)

Mountain-Wave Turbulence Encounter of the Research Aircraft HALO above Iceland

Strong turbulence was encountered by the German High-Altitude Long-Range Research Aircraft (HALO) at flight level 430 (13.8 km) on 13 October 2016 above Iceland. In this event the turbulence caused altitude changes of the research aircraft of about 50 m within a period of approximately 15 s. Additionally, the automatic thrust control of the HALO could not control the large gradients in the horizontal wind speed and, consequently, the pilot had to switch off this system. Simultaneously, the French Falcon of Service des Avions Français Instrumentés pour la Recherche en Environnement (SAFIRE), flying 2 km below HALO, also encountered turbulence at almost the same location

Vertically Propagating Mountain Waves—A Hazard for High-Flying Aircraft?

Stall warnings at flight level 410 (12.5 km) occurred unexpectedly during a research flight of the High Altitude and Long Range Research Aircraft (HALO) over Italy on 12 January 2016. The dangerous flight situation was mitigated by pilot intervention. At the incident location, the stratosphere was characterized by large horizontal variations in the along-track wind speed and temperature. On this particular day, strong northwesterly winds in the lower troposphere in concert with an aligned polar front jet favored the excitation and vertical propagation of large-amplitude mountain waves at and above the Apennines in Italy. These mountain waves carried large vertical energy fluxes of 8 W m22 and propagated without significant dissipation from the troposphere into the stratosphere. While turbulence is a well-acknowledged hazard to aviation, this case study reveals that nonbreaking, vertically propagating mountain waves also pose a potential hazard, especially to high-flying aircraft. It is the wave-induced modulation of the ambient along-track wind speed that may decrease the aircraft speed toward the minimum needed stall speed

The AMASS Approach for Assurance and Certification of Critical Systems

Safety-critical systems are subject to rigorous assurance and certification processes to guarantee that they do not pose unreasonable risks to people, property, or the environment. The associated activities are usually complex and time-consuming, thus they need adequate support for their execution. The activities are further becoming more challenging as the systems are evolving towards open, interconnected systems with new features, e.g. Internet connectivity, and new assurance needs, e.g. compliance with several assurance standards for different dependability attributes. This requires the development of novel approaches for cost-effective assurance and certification. With the overall goal of lowering assurance and certification costs in face of rapidly changing features and market needs, the AMASS project has created and consolidated the de-facto European-wide open solution for assurance and certification of critical systems. This has been achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance, multi-concern assurance, and for seamless interoperability between assurance and engineering activities along with third-party activities. This paper introduces the main elements of the AMASS approach and how to use them and benefit from them

The AMASS Approach for Assurance and Certification of Critical Systems

Safety-critical systems are subject to rigorous assurance and certification processes to guarantee that they do not pose unreasonable risks to people, property, or the environment. The associated activities are usually complex and time-consuming, thus they need adequate support for their execution. The activities are further becoming more challenging as the systems are evolving towards open, interconnected systems with new features, e.g. Internet connectivity, and new assurance needs, e.g. compliance with several assurance standards for different dependability attributes. This requires the development of novel approaches for cost-effective assurance and certification. With the overall goal of lowering assurance and certification costs in face of rapidly changing features and market needs, the AMASS project has created and consolidated the de-facto European-wide open solution for assurance and certification of critical systems. This has been achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance, multi-concern assurance, and for seamless interoperability between assurance and engineering activities along with third-party activities. This paper introduces the main elements of the AMASS approach and how to use them and benefit from them